COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 ENDMK
C⊗;
.DEVICE XGP;
.require "bkmac.pub[lsp,clt]" source_file
.begin "mkchapter"

.BEGIN "Title"
.pagehigh←54
.pagewide←80
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area title lines 16 to pagehigh;
.place title;
.sname ← SSNAME ← NULL
.PORTION TITLEPAGE
.FONT A "BEESIX";
.center select A
LISP
.SKIP 2
Programming and Proving
.SKIP 4
BIBLIOGRAPHY
.skip 10
.select 1
.TURN ON "{}"
Copyright %8@%* {year} 
.skip
John McCarthy and Carolyn Talcott
.skip 2
Stanford University
.skip 3
This version printed at {time} on {date}.
.TURN OFF 
.END "Title"
.

.MACRO GET(FILE) ⊂ BEGIN "FILE" REQUIRE "FILE" SOURCE_FILE
.END "FILE" ⊃
.
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area text lines 4 to pagehigh;
.title area heading lines 1 to 3
.place text;
.every heading(, {sname}, {page}) ;
.
.INSERT CONTENTS
.NOTASSEMBLING ← true
.COUNT PAGE FROM 1 TO 999
.COUNT SECTION FROM 1 TO 999
.COUNT SUBSECTION IN SECTION FROM 1 TO 999
.BEGIN "Text"
.sname ← SSNAME ← NULL
.turnon "{}"
.PORTION MAINPORTION
.SET SECTIONPARS(,,Bibliography,i)
.GET(|LSPBIB[LSP,CLT]|)

.END "Text"
.
.mkcontents
.END "mkchapter"